English computation tree logic: tłumaczenie na inne języki